Fix forgotten files in the last two commits.