woothemes/woocommerce — pull request #3896 by zogot (2013-10-07 13:49:55+00:00)
Title: array_search returns false when not found. 

This causes the first CSS class in the $classes array to be removed ( twice ). This was inadvertently removing some of the custom classes defined in the Menu Builder of WordPress.