Fix #425