Fixed encoding for STL snippets