Fix #405.