added some doxigen stuff