Fix includes in STACK. Documentation updates.