[c12484] Fix a stupid mistake from me introduced in [c12472]