minor fix for warn()