Corrections of logic macro comments

Correcting some comments