properly generated spec