Parser-bug fixes