Some minor fixups to correct doxygen references