Fixed my overly hasty previous change.