Changes getSpecAndRoot(..) as per Oscar