another quick syntax fix