Note on a product formula for unitary groups