disallow : at the end of a line; fixes #4701