(Micro) optimizations.