I did the following to fix the problem:
- stored $wp_query in $temp_query
- reset $wp_query with $temp_query after query_posts() and “The Loop”
I’m assuming that I could have done rewind_posts() to fix the problem, but I really don’t have time to try that out now.