fix to Dima's undefined-warning-on-dump; and also remove set view postamble