fix some minor compilation issues