tiny doc changes