minor compilation fixes...