Fixes #33 CIL warning