Fix #253.

It fixes issue #253.