fixes #3558