still a bug: File argument to ls is printed twice :/