Fix a stupid type in the code...