System.File: fix document