Fixed some trivial mistakes