IFS lab6 fixes