Minor updates on docs