Karl Jenkins: Palladio; bug fix