Trivial change of programming style in Toolbox.hs