Bit more explanation is desirable here.  I need to take a longer look at the context to see why this might be correct. Is it necessary or just a micro-optimization?