How about ` // Adjust cursor to the position after any whitespace that follows the colon.`?