Doxygen commenting style - shouldn't we have 3 slashes to introduce this (or at least be consistent)?