[PATCH] diff: further cleanup.