Fixed bug in HAREncodable and wrote README