fixed a really small mistake