Test case and comment fixes #760.

The actual fix was introduced in 6d5d641dd718e2cf718d130e8571792cd7a9d84e.