Minor correction on EightQueens