minor display tweaks #10760