Fix addresses section
New issue from Hubert Tong about missing constraints of some type traits