minor correction to pull #1543

minor correction to pull #1543