Add cast to avoid warning