Just a reproduction case for a stupid bug...