A fix to the previous commit.