fix for j23d's test from f9e76fa1

the test was reverted afterwards (in b190eaf90c1541cff1bc68ff384d0c259d57f794), but the fix was easy enough... :)