Fix example size problem. Fixes #426