Fix #231.