Fix stupid error in previous rashly-committed version.