Fixed some github errors