[safestack] documentation fixes