(the warning looks correct, should not be suppressed)