Small bugfix.

[SVN r85975]