fix bug in zipper and display of theories