fix small problem with \dual in case of double superscripts