extremely minor cleanup