Small fixes to Puppi