Fix #633