added a useful cout