fix a sphinx error