TESTS: correct Red header detection in quick-test.r
TESTS: fix red header detection in quick-test.r