#12: minor filename comment change