slightly different printing of variants