Some confusion about filename and semicolon