bug #113: added test. Problem is not here