something isnt right with isabelle conf