[FIX] silence pylint, which btw discovered a genuine bug