Follow this guide instead, using the 11A *.tot file instead of the 24A *.kdz...
VERIZON ONLY Revert to stock GUIDE [UPDATED]
I've had no luck flashing the *.kdz following the guide you linked to. On the other hand I've never had a problem following the above procedure. Since you'll be flashing 11A instead of 24A, you'll first need to update to 12B and then 24A via OTA or software update.