Const cast to supress (false-positive) warning