added: missing value_type typedef