fixed a tiny mistake Mr.Z pointed out in class