Micro AI macros: fix a mistake in comments