SMV Map Bug Resolved