Tests: rename tests so that they actually run