add test to support 7484fbbdfe8633578be15e

to make sure this stays the way it's intended; see #631