Add a test wrt #13