Some ad-hoc comments. TODO: Make them better.