quick fix : leftover printf