Tests for bug280.