issue #972: Compilation Issue