Fix #257

Fixes issue #257.