Doxygen update for reverse.h