[ debug ] remove `max` from log
[ debug ] remove `max` from log

Users should be allowed to de-escalate the level of detail they're
getting.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm