Yes, exactly. This reminds me to create a PR for the API as well. AFAICS it doesn't make a difference in this particular situation, but one warning less is better is guess :)