The name of Stevenson College is changed to Stevenson College Edinburgh, and the name of the board of management of that college is changed to the Board of Management of Stevenson College Edinburgh.