case-insensitive !s, fix #846