Miller comments on AGI and Friendly AI in the dominant AI textbook