(trivial) Fixed a typo