Soul menhir function: Fix some typing errors.