Added by Alexander Schreiber over 16 years ago
Trivial typing fixups.
Reviewed-by: iustinp
View differences