Minor fixes: phony targets, missing shell escaping, missing comments !