minor fix in docs (migration hints)