Fix debugging syntax