double space after @param for consistency to #2419 and #2422