Some small gitbook fixes