Make redefinition pic prettier.