Minor fixes in SotA