There is no need to enfore k<=6
Fix up Doxygen output