add nu-checked fix #12