Bug fix, unexpected ;