There's a spurious space before the final `:`