Fix formatting for pydoctor.