Note: the case here is currently not necessary, but it will become useful to reuse this function for other products (see issue #73)