IEEE802.1D: comment and small formatting changes