See https://github.com/opentk/opentk/blob/master/Source/Compatibility/Audio/OpenAL/AL/ALEnums.cs Guess that is an upstream issue.