trivial change, List instead of Seq, p05.fs