Fix #232.