Added missing semicolon

As pointed out in #694.