never seen this syntax before, what does it mean?