Fix my editing of #272.