Fixes #3158