Minor improvements to import comments in sbil spec