Fix bug: #423