fix first case of compile_top_thm for new printing