Before weekend commit, small fix