Patch to correct a minor visual bug.