Fix

Fixes a potentially bad check from !4137 (merged)

Merge request reports

Loading