Bug fixes and example rewrite to help understand the new code for 1-minimal