Fixed a FinsBugs issue