Closes #9877.