Just curiosity... what is the trick done by this "double [" ? :)