Little fix in instruction file