Fix bug in 05ecca5d53.