Small bug fix, in minecraft code