fix debugging syntax