Just do that. Fixes #3