Fix (reported by Zvonimir) for non-string attributes
Fix (reported by Zvonimir) for non-string attributes

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral