Redstone gameplay guide spells Redstone Ore as 'red stone ore'

Last checked: April 8, 2021

The bug

In the Gameplay Guide titled 'Getting Started with Redstone in Minecraft' (https://help.minecraft.net/hc/en-us/articles/360045950932-Getting-started-with-Redstone-in-Minecraft), the second paragraph spells 'Redstone Ore' as 'red stone ore'.