correction bug go to definition