Implementation of some constructors