fix a compiler error

Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>