Corrected a } that had been lost by a git merge