trivial: remove an extra space from an error message