fixes #3387