I wonder whether it's possible to avoid reporting these spurious syntactic errors.