Added a change that got lost in a checkout, intended for last commit.