bug fix: issue #1249