fixes #3775