Explanation fix

And commit "update precondition" is icons (wrong text).