Fixed a couple of typing errors