fix remark w.r.t. name of method, renamed to is_short_modname_for