Fix leitner system not updating properly

Change-Id: I5157cb16867203faf430e8247144e324d9d954a0