You might comment that you are leaving the O-term off because it will be removed a few lines below anyway.