Cosmetics: use hv_stores where appropriate