Fix a small bug in anti-ringing crt-hyllian code.