Fix padua print