Fix issue #11: give feedback at console