Resolve unhandled case in isoDecls for #243.