Removed named returns; also a bug fix for using a Binder function