Fixes the fix (fixes #337)