Fixed some small errors after pushing