Tiniest PR ever - nix erroneous double space.