Shebang fix now reflected in TODO (fixes #11).