Space police: add a space before `?`