small syntax fixup