Made some corrections to the System sections, user model (to keep the same notation), and topic search