little fix to <