fix bug in error reporting view; minor tweaks