Spaces after `)`