fixes #2539