Remove workaround for reverence bug, as it has been fixed there