(probably) unrelated simplification