Real-time corrections to the effective potential