Fixed comment
Issue #2259511 by helmo: List platforms on server node page.