Removed useless ValDef flagged by @samuelgruetter in previous pull request