fixed a typo in the last commit, reported by Robby