double alias problem, spec and fix