Fixing typo in source (not just docs)