Fixed a couple of simple mistakes