tiny fix after merge