small fix that got lost in the branching.