small typo I noticed

see diff