fix invalid kast usage in docs