Minor updates. Added Doxygen-style comments.