No need to define a default constructor that does nothing.