Include missing commit lines

These were supposed to go as part of the last commit.