Add missing semicolon to fix FTBFS