Fix #639