fixed a bug together with jens which causes failures with llvm 3.3