tiny fix in docs