fix previous fix for issue #12