Minor update (related to last commit)