Added translating a no-error case