Fixed small bug about PRINT_WARNINGS