small fix for issue #356