was peppermint patty gay