Documentation, tweaks