a trivial modification