Small cleanup in sphinx docs