Is the pins.h file wrong? The RAMPS pin file is probably the best tested one. 1/2 of the people use that one. If it has an error in it... We need to get that fixed ASAP.