Fix error in dox