type casting to keep compiler happy