Yet another screw up to obs/show.