fixes #4097