Small correction to earlier change