Fix to typo and detail in tinyioc

as per code in the tinyioc repo