Fixes #3530