fix small error in doc sphinx generation