del: Some uneeded helper functions. #24