fix docstring of cin-filename-p