slight revision to filename doc