fixing format of dspec
fixed lib format