Fixed some mistakes in my hasty edit