workaround for issue #256