Corrected bug in Sirup-notebook.