Bug fix: #311