Solves a bug inserted in last commit.