Minor bug left in last commit.