Small fix to last push