Add semicolon at line end

Just noticed it while I was trying to understand the code....