small fix, that resulted in previous merge