Update Encrypter.php

This fixes #3065