Minor fix. Everything as in last commit.