Typo fixes and little improvements + CI update