Another small syntax fix