Fixes for types in replay documentation