sdk: fixup the formatting a bit