Space after `)`