fix double-slashes in manpages