Made a trivial change [#5]