The category says this article is for areas in the Mario series with lava, but it already includes places outside of the series, so shouldn't it say Mario, Donkey Kong, Yoshi, etc. series? Fawfulfury65