Fixes: bad debug info