FIX Rename positive constraint

The previous name was highly confusing, so this is the only sensible fix ^^