Those instructions are correct. The only think I would add is that, after opening Tools > Board > Boards Manager, you need to wait until the downloads finish.
If the problem still occurs, click the "Close" button and then check the black console window at the bottom of the Arduino IDE window to see if it contains any error output. If so, copy/paste the full text here.