Fixing buggy implementation