Fix propspec