Forgotten part of the previous commit.