clean up & agda mode