make the sdk file slightly smaller; fixed a typo