Fix a space

quickly add a missing space in a cast