Veeeeeeeery minor cleanup