some debug options