Fix #635