small fix after rebase