Editor: Minor improvements.