Some remarks, were deleted when merged