Fix an important bug that apparently appeared after renaming alpha5prime into beta.