Minor improvements to Secured.java.