Add missing .txt to instructions