regression tests for reported bugs