[PATCH 18/21] Drop some useless comments