Additional tests for W391