2/10/2012 Update – The good people of WooCommerce have fixed this issue as of the 1.4.2 release, so the modification…