Minor corrections in comment binder's code