Minor correction in csps-query (missing letter in output)