push docs fixes