Handle some remarks by Ralf Wildenhues.