Fix suggested by Dave Cheney.