I'll change it to your suggestion above to be more explicit.