Clearifications in implicit impl.