Patched reverse bug in List.scala