Fix #993.