Minor fixes at nfc specs