silence const cast warning