It seems like you are suggesting a direct code change. If you wish, you could make a pull request on our Github repository to have the code changed. It would be reviewed by one of our developers and either accepted or rejected. If it is accepted, you would become an engine contributor. Otherwise, if you wish, I can enter the report myself. Either way is fine but I would rather give you the option.