compile fix proposed by Stefan