fixed a bug in nif-Context test