Minor tweaks on Binding Syntax