fix inadvertently messed up doxy comments