make kspec not a tech report