make debugging work