patch applied (hugs98): fix printf syntax