Fix "No" not being recognized as a non fixed point