Faulty code-env