Remove an unneeded workaround in coherence.rs

The issue was fixed a month ago - remove the workaround.