doxygen docs (fixes #13)