Leftover from 7eda5de.  How embarrasing.