Bug fix.

... amend last commit.