accommodates pull request feedback

https://github.com/scala/scala/pull/2072