Make syntax correct wrt binding