Use html entities for a space at the end of a line

This will prevent macros in people's editors from removing trailing whitespace.