Fixes CIL warning #33