fixes #4832