Fixed wrong uncommented coding of last push