Add a default-value constructor