Fixed minor error in NULL mechanism (spec was wrong)