Fix bug: #42