Fix #640