Make userg_guide examples pass