Fix #238.