Fix alias conversion

Fix a mistake I introduced in a previous PR :(