Fixed one more case of no-auto-insertion after "as"