Oops, give the manpage the correct name!