Fix #187.