Good point, and your suggestion is also slightly more efficient anyway.