Made a trivial change [#4 state:resolved]