add missing semicolon, fixes #5393