fix a typo in the spec comments