Fix #636.