fix #757

It was a typo