fix previously introduced bug