Removing comment outdated since eta holds in conversion rule (this
answers #3299).