Add punctuation: VeraCrypt 117 has been released on February 13 2016
VeraCrypt 1.17 has been released on February 13, 2016.