attempt to fix a bug in PrintE

I say "attempt" because I haven't touched any proofs yet - they will
break.