Probably best to report it to avoid some sort of mismatch. Either way, it will not hurt to report it.
View solution in original post
