Oops--I fixed this already. Should add that to the CHANGELOG.