Fix #632