Fix crop filter syntax shown for the -crop* options in the ffmpeg man