Fixes #42

This is necessary.