Are these two constructors ever used?