Fixing Controllers.TickMsg.tick overflow bug. Detected and resolved by WenYing Luo. Refs: #21
Information about changes was added to the headers of documents. Refs: #21