Fixing incorrect debugging info.