fixing small syntax bug