Some minor cleanup related to marking up receiver and sender in code tags