Fix TAP output test numbering bug