[v0.3.1a] Fix regina