minor fixes in binding and SLA