fixed little compile-time bugs