Update documentation
Correct (partialy) semantic logic