True, we did agree on this style for doxy-comments. I keep changing the old ones when I find them in a header file, new files should use them from the start.