Verified that fixes #4