fix obscure bug that few people are likely to actually run into