Did John Robertson have to resign?