DOXY: improved documentation