oops... small mistake in init.cc