Minor correction to my suggestion