fix #9334

Easy issues (almost not worth a pull request)