Library roof leak sealed, but more repairs needed