Fixed bug #15: constants could not be concatenated to a string