bug fix: #1249