fixes #1955; minor change