Corrected several errors in Nukus constraint