cosmetics

Some warnings that bugged me. @FernetMenta for review