Fix bug in read_admb