Forgot some files for the #837 testcase