Fix #662.