Micro optimization (not that it would matter in this case, just for consistency)