Slight mods to shell tex