For the watchful reader: The old value was wrong.