Only show annotations div if there are any.

Without any annotations, the div just makes for some good-looking
whitespace.