stack.pretty works
core.pretty works
minor fixes