fixup some silliness in display.cpp