Fix bug: #425