Bug after rename a5prime -> beta
Better debugging message