Minor bugfix for previous commit.