fix for issue #273