issue #6:
Small fix