Fix #417.