Small fix to be compatible with < 1.7.8