PR fixup: use integers for achievement IDs