Csapp tweaks