Make this permanent. Fixes #5