Yes, it's a tiny optimization that could be done