We generally want the man page to also be available under the binary name, but the <refname> tags were missing in two cases.