A bug fix in the last commit.