Bugfix: actually run the program