Removing an old KRAPP