Minor correction to previous commit