Correct example for filestat().

Found while reading documentation and testing the example of
filestat().