debug and make agda-highlight more comfortable