some hints from static analyzer