Also fixed printing issue in other two themes (issue#59).