Smallfix.

Wider fix for #4589.