fix something I broke in 6b685d773c8aabe872286bcb9dbe1925b18704ba