Fixes #3542