Make the Typer happy