adding missing property in Encoder.php class