Bug fix.

...