another patch needed to make sure the fix for #76 works