regression tests for reported bugs
