buggy implementation