Yep. Trains to Edinburgh are usually from King's Cross, this turned out to be from Euston. Ran into Euston 1 minute before the train was due to leave and so missed it.