fixed compile-time bug