additional fix to issue #577