Indeed! Don't know what happened there :) I'll wait and see if we find more such small cleanups before fixing