Fixed file type of one of the docs