Fixed a type in the source code