Small notational fixes.

Signed-off-by: Matthew Webb <mawebb@math.byu.edu>