Fixed space missing just before 'notation'