[PPL-devel] Spacing problem with Doxygen 1.4.5