fixed .dox, using doxypy.py 0.3