Interestingly, there is a discussion in comments of this paper claiming the authors got it wrong.
But as you said, under the assumption that the test perfectly detects, the results are correct.
But as you said, under the assumption that the test perfectly detects, the results are correct.