Fixed small problem with Session.idr