Fixed a small bug

Fixed a bug in typing.