xLessax on "[Plugin: WooCommerce - excelling eCommerce] Changing button text in mini-cart"

I'm trying to change the text of the two buttons in the mini-cart, but I can't figure out how and where to do it. They're already translated to Dutch but I can't find them in WooCommerce language file. Where should I look?

http://wordpress.org/extend/plugins/woocommerce/