Just recording a small, subtle, old bug I found.