Minor changes to AppState.h