Add semicolon to make travis happy