One unobvious bug fix