fixes #3520