fix comment forgotten to close issue #9