Added by Iustin Pop about 15 years ago
Two small style fixes
This is a merge from the 1.2 branch
Reviewed-by: imsnah
View differences