A small syntax fix