A simple correction, I believe