I am not sure what is the appropriate default value for the proposed new
face. Feel free to modify it, if necessary.