fix immutable aliasing bug; mutable aliasing is waiting for resolving