Optimization tip from @gnugat