fix some things for doc generation