Added some options for the human-readable debugging output