we do not need empty constructors (here and below)