Doxygen for 1.4.0 tag