Fix a white space error

This was introduced in e2a415797d4adb81551c5331b1adfdb4a6ecbe94.