removed forgotten printf