Fixed some JavaDoc types, inaccuracies, and a potential synchronization issue.