Fixed typo

Removed spurious ; (empty comment) from last commit.