Some constructors made explicit