Better doxygen comments.

This fixes #37.