Just a quick optimization, not really necessary.