various minor improvements

David Verelstrequested to merge
dave into master

A few random minor robustness improvements in prepost.

Merge request reports