Remove some debugging def-3