Bug in att.set