Fix bug: #19