Tiny changes in test check files due to backend fixes