This example means nothing. Fixes #527