Another trivial removal of duplicate code