Yes, this should be OK.