Test for a bug