Add missing space

Ran into a missing space in the stdlib source