Fix the type in doc file

After the issue #3