Fixes #3612