bug 1055: whoops forgot to rename instructions