Fix one bug, as pointed out by Daniel Arndt.