No comment error page requires browser navigation to leave
ENV: WP trunk r5486
While viewing a post, I click Submit Comment without entering any information and the result is (wp-comments-post.php):
WordPress
Error: please type a comment.
Dead end: no link back to the page where I meant to comment or maybe accidentally clicked the button, and "Error:" makes me feel stupid ;-)
POSSIBLE SOLUTION
I don't see any reason to navigate away from the post post.
ADDITIONAL DETAILS
Assuming the error page is desirable (sure hope not), being able to style it might be useful.