patchlevel (#247)