doc: Tiny whitespace fix

This commit is contained in:
Peter Eisentraut 2013-02-01 21:44:22 -05:00
parent e1d25de35a
commit f4987049ef