Fix the naming of external state