Some bugfix, add explain text of contraint