Debugged __add__