This small change was not really needed, so reverted