Fix compile error regarding default constructor