fix nonpermissive syntax