Fix #448.