Fix link to specification