removed extraneous comment (problem was fixed earlier)