Another minor

Another minor change. For the sake of commit, hope it will be the last.