format
many minor updates, driven by update of interactive facade