Fix #889.