More on printing references applied to implicit arguments.