Fix an apparent bug

And a small comment typo