fixed a stray bit of dev code