removed unneeded Bool pretty printing function