Fix codespec