Changes getSpecAndRoot(..) as per Oscar

Fixes a simple nullpointer exception.