added a bit more explanation of the macrolet thing