Fixed a typing bug