Fix compilation

Authored by mardelle on Nov 8 2019, 4:01 PM.