double colon incorrectly parsed by pygments