This should also be OK.