Minor optimization

Authored by mlaurent on Jan 16 2019, 6:45 AM.