Fixed bug: a semicolon