What is the situation with regard to tipping while on a disney cruise?

I think I read somewhere that the tips are already included and you pay a set amount.

If thats the case then I am not happy with this, it looks like we will eat more the self service buffets than the sit down restuarants.