Revert "Remove some bans for #333"

This reverts commit 4fd41fa2a1a5c05d32ba0ff4b8053e9fbd50a471.