CSPACE-6328: Remove inadvertently doubled semicolons.