Fix man page generation that was broken by previous commit.