Fixed prove option.