Small tweaks (code and docs).