I have never seen this syntax? Is it a typo or is it something I don't know from sphinx?