Final small printf for debug