These shouldn't be needed - they are the default constructors, after all, so they are called by default.