Example for #395