Fix bug in r271582.