fixed some formulations in the documentation