Tiny doc. corrections.