[#7] Cosmetic fix.