Update RedisEngine.php

Formatting