I found where you are getting the reference for that code. Yes his code would be correct.

Software pin 4 which is physical pin 5 on the board.

I know confusing... But the software and hardware pin references cant always line up...