[bug] attempt to fix

@gautierhattenberger : Is this the proper way to solve this compile error?