I guess this comment isn't entirely relevant anymore. No need to change it though.