mostly static changes. a fix to documentDisplay.php