pedantic whitespace: no space after `!`