superfluous space before `>`