Fixed file name in documentation.