Fix #444.