Fix compilation (type error)

Authored by mardelle on Jan 5 2018, 9:08 AM.