fix little merge artifict in docs