minor cleanup, see #88
minor cleanup, see #88