Tiny fix

Tiny fix that prevented things from compiling