fixed some small compile-time bugs