fix compile error, redef for better printing, inc proj