Just before push
Fixed Issue #12