Note no need to keep VLC running

diff --git a/misc/ripping.md b/misc/ripping.md
index 4d630542a6cdd1ec2d339932d19bffa1211387e6..d7c637f253ed0e38659a759cf3fa815fcb424cd7 100644 (file)
--- a/misc/ripping.md
+++ b/misc/ripping.md
@@ -40,6 +40,6 @@ However, `dd` can fail on some disks, perhaps due to damage or copy protection.
 
 * Start playback of the disc using [VLC media player](https://www.videolan.org/vlc/).
 * Try `dd` first, if it fails, then run a command like `ddrescue -n -b2048 -K1M /dev/sr0 x.iso x.map`.
-* After `ddrescue` starts running, pause playback.
+* After `ddrescue` starts running, quit VLC.
 
 [FindVUK](http://fvonline-db.bplaced.net/) has the keys to rip Blu-ray discs.