fix numbering in microtest