Adding doxygen highlighting