Somewhere, Ron Paul is smiling