Documentation comments: fix incorrect usage of \param