minor changes so that selecting inner product functor becomes easier