Add files accidentally omitted from previous commit.