Annotate constructors to remove warning at compilation