minor cleanup;