Fix #403.