Fix proc.h misc issues