Add forgotten files.  Whoops!