fixing issue #253