/* Shortcut. */