The title should be corrected to "SPARK", not "Spark". It's used all caps each time it's mentioned on the page. That's also how I've seen this tool referred to elsewhere in the programming language literature: https://en.wikipedia.org/wiki/SPARK_(programming_language)