Minor comment tweaks
Fix bug in optimizing injectivity check. Fixes #90

See Note [Skipping injectivity check for empty environments]