minor typo fixes, more random seeds