Box displayed by example is not complete; lower right corner missing a dot, this fixes it.