Fixed an slight error in a comment