Fixed a very minor type