Fix typo (#750)