Fix #642