Bug fix for v0.7.